On Nested Justification Systems

Abstract Justification theory is a general framework for the definition of semantics rule-based languages that has high explanatory potential. Nested justification systems, first introduced by Denecker et al. , allow composition systems. This notion nesting thus enables modular languages, and increases representational capacities theory. As we show in this paper, original characterization nested systems leads to loss information relevant explanations. In view problem, provide an alternative their it equivalent one. Furthermore, how representing fixpoint definitions.